例句與造句

1. A logic has the finite model property ( FMP ) if it is complete with respect to a class of finite frames.
2. It reflected the view that architecture differs fundamentally from painting and sculpture; it finds fulfillment not within a museum's finite frame of esthetic experience but in the world beyond it.
3. An application of this notion is the decidability question : it follows from Post's theorem that a recursively axiomatized modal logic L which has FMP is decidable, provided it is decidable whether a given finite frame is a model of L . In particular, every finitely axiomatizable logic with FMP is decidable.
4. It's difficult to find finite frame in a sentence. 用finite frame造句挺難的